Analytical study of an ideal life for a woman in Islam with special reference to modern science.

La diminution du poids institutionnel des religions dans notre société ne signifie pas pour autant que les hommes se détournent d'interrogations fondamentales touchant à leur identité profonde, à leur origine et à leur destination, au sens de leur vie ici-bas, à l'éventualité d'une vie après la mort. Que ces questions continuent d'occuper la pensée humaine, chacun est à même d'en faire le constat, et la science elle-même les a investies avec des moyens renouvelés. Ce qui a changé dans les dernières (...) décennies, c'est peut-être la manière d'appréhender ces interrogations fondamentales : on recueillait autrefois les réponses en se référant à sa religion d'appartenance ou en puisant dans un ensemble de discours et de pratiques proprement ésotériques ; aujourd'hui, la recherche de principes directeurs qui soient à même de donner un sens à l'existence n'échappe pas au mouvement général de sécularisation et de globalisation qui a radicalement transformé nos cultures. Anticipant cette tendance, Ostad Elahi s'était interrogé, il y a plus de cinquante ans, sur les conditions d'une sagesse contemporaine partagée, capable d'intégrer la dimension spirituelle, et fondée sur les principes fondamentaux communs aux différentes religions. Sous le titre Quelle sagesse pour notre temps?, cet ouvrage entend ouvrir une réflexion sur les modalités que peut prendre la recherche d'une telle sagesse adaptée à notre époque, à la fois conforme à l'idéal d'autonomie de l'individu moderne et ouverte à ses aspirations les plus profondes. Quels en seraient les principes? Parviendra-t-on à les dégager en s'accordant sur des valeurs éthiques et spirituelles universelles? Et si oui, comment est-il possible de les mettre en oeuvre? Une recherche de ce genre relève-t-elle d'une démarche strictement individuelle, ou peut-elle être également conduite de manière collective, à un niveau académique et plus généralement institutionnel? (shrink)

For quasivarieties of algebras, we consider the property of having definable relative principal subcongruences, a generalization of the concepts of definable relative principal congruences and definable principal subcongruences. We prove that a quasivariety of algebras with definable relative principal subcongruences has a finite quasiequational basis if and only if the class of its relative (finitely) subdirectly irreducible algebras is strictly elementary. Since a finitely generated relatively congruence-distributive quasivariety has definable relative principal subcongruences, we get a new proof of the result (...) due to D. Pigozzi: a finitely generated relatively congruence-distributive quasivariety has a finite quasi-equational basis. (shrink)

We provide a new proof of the following Pałasińska's theorem: Every finitely generated protoalgebraic relation distributive equality free quasivariety is finitely axiomatizable. The main tool we use are ${\mathcal{Q}}$ Q -relation formulas for a protoalgebraic equality free quasivariety ${\mathcal{Q}}$ Q . They are the counterparts of the congruence formulas used for describing the generation of congruences in algebras. Having this tool in hand, we prove a finite axiomatization theorem for ${\mathcal{Q}}$ Q when it has definable principal ${\mathcal{Q}}$ Q -subrelations. This (...) is a property obtained by carrying over the definability of principal subcongruences, invented by Baker and Wang for varieties, and which holds for finitely generated protoalgebraic relation distributive equality free quasivarieties. (shrink)

Let $$\textbf{K}$$ and $$\textbf{M}$$ be locally finite quasivarieties of finite type such that $$\textbf{K}\subset \textbf{M}$$. If $$\textbf{K}$$ is profinite then the filter $$[\textbf{K},\textbf{M}]$$ in the quasivariety lattice $$\textrm{Lq}(\textbf{M})$$ is an atomic lattice and $$\textbf{K}$$ has an independent quasi-equational basis relative to $$\textbf{M}$$. Applications of these results for lattices, unary algebras, groups, unary algebras, and distributive algebras are presented which concern some well-known problems on standard topological quasivarieties and other problems.

Philosophical study of revelation in religion, chiefly in Islam.